
int global = 44;

int __attribute__ ((visibility("hidden"))) boot_vm()
{
   if (global != 44)
      return -1;
   global = 1024;

   return 1024 - global;
} 
